43. ANNA, a language for annotating Ada programs :
پدیدآورنده : David C. Luckham ... [et al.].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Ada (Computer program language),ANNA (Computer program language)
رده :
QA76
.
73
.
A54
A56
1987
44. ANNA, a language for annotating Ada programs : reference manual
پدیدآورنده : David C. Luckham ... )et al.(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، ANNA )Computer program language(,، Ada )Computer program language(
رده :
QA
76
.
L4
v
.
260
45. ANNA : a language for annotating Ada programs : reference manual
پدیدآورنده : David C. Luckham...]et al.[
کتابخانه: (طهران)
موضوع : ، Anna )Computer program language(,، Ada )Computer program language(
رده :
QA
76
.
L28
Vol
.
260
48. BL
پدیدآورنده : Alan Fogel, Barbara J. King and Stuart G. Shanker.
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
49. Between Islam and Byzantium :
پدیدآورنده : 20090526
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
50. Corruption and the secret of law : an introduction / Gerhard Anders and Monique Nuijten -- Hidden acts, open talks : how anthropology can "observe" and describe corruption / Giorgio Blundo -- Deep corruption in Indonesia : discourses, practices, histories / Heinzpeter Znoj -- Corruption judgments in prewar Japan : locating the influence of tradition, morality, and trust on criminal justice / Andrew MacNaughton and Kam Bill Wong -- Corrupted files : cross-fading defense strategies of a Vesuvian lawyer / Livia Holden and Giovanni Tortora -- Corruption narratives and the power of concealment : the case of Burundi's civil war / Simon turner -- The orchestration of corruption and excess enjoyment in western Mexico / Pieter de Vries -- Corruption or social capital? : tact and the performance of Guanxi in market socialist China / Alan Smart and Carloyn Hsu -- Corruption in the U.S. borderlands with Mexico : the "purity" of society and the "perversity" of bo
پدیدآورنده : edited by Monique Nuijten and Gerhard Anders.
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
51. Includes bibliographical references (p. 345-380) and index. 0
پدیدآورنده : James E. Baker.
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
52. International drug control system -- Legalization of internationally controlled drugs -- Drugs and the importance of demand reduction -- Evaluation of the effectiveness of the international drug control treaties -- Money-laundering -- Drug abuse and criminal justice -- Preventing drug abuse in an environment of illicit drug promotion -- International control of drugs : past, present, and future -- Freedom from pain and suffering -- Overconsumption of internationally controlled drugs -- Globalization and new technologies : challenges to drug law enforcement in the 21st century
پدیدآورنده : edited by Hamid Ghodse.
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
54. Programming with specifications : an introduction to ANNA, a language for specifying Ada programs
پدیدآورنده : David Luckham,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : ANNA )Computer program language(,Ada )Computer program language(
رده :
QA
.
A54L83
76
.
73
1990
55. Programming with specifications : an introduction to ANNA, a language for specifying Ada programs
پدیدآورنده : Luckham, David C.
کتابخانه: (طهران)
موضوع : ، Anna )Computer program language(,، Ada )Computer program language(
رده :
QA
76
.
73
.
A54L83
1990
56. The traditional problem of evil: suffering and evil actions -- Another problem of evil: divine hiddenness -- Miracles as a problem of evil -- The ignorance defense -- Identifying, interpreting, and certifying revelation -- Should God's power be understood as omnipotence? -- A process Christian theism and the problems of evil. 0
پدیدآورنده : James A. Keller.
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
